Approximate Algorithms on Lattices with Small Determinant
نویسندگان
چکیده
In this paper, we propose approximate lattice algorithms for solving the shortest vector problem (SVP) and the closest vector problem (CVP) on an n-dimensional Euclidean integral lattice L. Our algorithms run in polynomial time of the dimension and determinant of lattices and improve on the LLL algorithm when the determinant of a lattice is less than 2 2/4. More precisely, our approximate SVP algorithm gives a lattice vector of size ≤ 2 √ log detL and our approximate CVP algorithm gives a lattice vector, the distance of which to a target vector is 2 √ log detL times the distance from the target vector to the lattice. One interesting feature of our algorithms is that their output sizes are independent of dimension and become smaller as the determinant of L becomes smaller. For example, if detL = 2 √ , a short vector outputted from our approximate SVP algorithm is of size 2 3/4 , which is asymptotically smaller than the size 2 √ n of the outputted short vectors of the LLL algorithm. It is similar to our approximate CVP algorithm.
منابع مشابه
Density of Ideal Lattices
The security of many efficient cryptographic constructions, e.g. collision-resistant hash functions, digital signatures, identification schemes, and more recently public-key encryption has been proven assuming the hardness of worst-case computational problems in ideal lattices. These lattices correspond to ideals in the ring Z[ζ], where ζ is some fixed algebraic integer. Under the assumption th...
متن کاملE cient Search for Two-Dimensional Rank-1 Lattices with Applications in Graphics
Selecting rank-1 lattices with respect to maximized mutual minimum distance has been shown to be very useful for image representation and synthesis in computer graphics. While algorithms using rank-1 lattices are very simple and e cient, the selection of their generator vectors often has to resort to exhaustive computer searches, which is prohibitively slow. For the two-dimensional setting, we ...
متن کاملExact and approximate solutions of fuzzy LR linear systems: New algorithms using a least squares model and the ABS approach
We present a methodology for characterization and an approach for computing the solutions of fuzzy linear systems with LR fuzzy variables. As solutions, notions of exact and approximate solutions are considered. We transform the fuzzy linear system into a corresponding linear crisp system and a constrained least squares problem. If the corresponding crisp system is incompatible, then the fuzzy ...
متن کاملOrbits in the Leech Lattice
We provide an algorithm for determining whether two vectors in the Leech lattice are equivalent under its isometry group, the Conway group Co 0 of order ∼ 8× 10. Our methods rely on and develop the work of R. T. Curtis, and we describe our intended applications to the symmetry groups of Lorentzian lattices and the enumeration of lattices of dimension ≈ 24 with good properties such as having sma...
متن کاملEFFECT OF THE NEXT-NEAREST NEIGHBOR INTERACTION ON THE ORDER-DISORDER PHASE TRANSITION
In this work, one and two-dimensional lattices are studied theoretically by a statistical mechanical approach. The nearest and next-nearest neighbor interactions are both taken into account, and the approximate thermodynamic properties of the lattices are calculated. The results of our calculations show that: (1) even though the next-nearest neighbor interaction may have an insignificant ef...
متن کامل